"دبئی" meaning in All languages combined

See دبئی on Wiktionary

Proper name [Punjabi]

IPA: /d̪ʊ.bə.iː/ (note: Standard Punjabi), [ˈd̪ʊ.bə.iː] (note: Standard Punjabi) Forms: دُبَئی [canonical, feminine], duba'ī [romanization], ਦੁਬਈ [Gurmukhi]
Etymology: Borrowed from Arabic دُبَيّ (dubayy). Etymology templates: {{bor+|pa|ar|دُبَيّ}} Borrowed from Arabic دُبَيّ (dubayy) Head templates: {{pa-proper noun|f|gur=ਦੁਬਈ|head=دُبَئی}} دُبَئی • (duba'ī) f (Gurmukhi spelling ਦੁਬਈ)
  1. Dubai (an emirate of the United Arab Emirates) Categories (place): Emirates of the United Arab Emirates, Places in the United Arab Emirates
    Sense id: en-دبئی-pa-name-aIcqMsXU Categories (other): Punjabi entries with incorrect language header, Countries Disambiguation of Punjabi entries with incorrect language header: 51 49 Disambiguation of Countries: 47 53
  2. Dubai (the capital city of Dubai emirate, United Arab Emirates) Categories (place): Cities in the United Arab Emirates, Places in the United Arab Emirates
    Sense id: en-دبئی-pa-name-n5Gw4qEE Categories (other): Dubai, Emirate capitals of the United Arab Emirates, Punjabi entries with incorrect language header, Countries Disambiguation of Punjabi entries with incorrect language header: 51 49 Disambiguation of Countries: 47 53

Proper name [Urdu]

IPA: /d̪ʊ.bə.iː/ [Standard, Urdu] Audio: LL-Q1617 (urd)-نعم البدل-دبئی.wav [Pakistan] Forms: دُبَئی [canonical, masculine], dubaī [romanization], दुबई [Hindi], دُوبَئی [alternative]
Rhymes: -ə.iː Etymology: Borrowed from Arabic دُبَيّ (dubayy). Etymology templates: {{ety|ur|:bor|ar:دُبَيّ|text=+|tree=1}} [Appendix:Glossary#loanword|Borrowed]] from", "terms" : [ { "children" : [ ], "lang_name" : "Arabic", "term" : "دُبَيّ", "status" : "missing", "lang" : "ar" } ], "keyword" : "bor" } ], "lang_name" : "Urdu", "term" : "دبئی", "status" : "ok", "lang" : "ur" }" data-lang="ur" data-title="دبئی"> Borrowed from Arabic دُبَيّ (dubayy). Head templates: {{ur-proper noun|m|head=دُبَئی}} دُبَئی • (dubaī) m (Hindi spelling दुबई)
  1. Dubai (an emirate of the United Arab Emirates) Categories (place): Emirates of the United Arab Emirates, Places in the United Arab Emirates
    Sense id: en-دبئی-ur-name-aIcqMsXU
  2. Dubai (the capital city of Dubai emirate, United Arab Emirates) Categories (place): Cities in the United Arab Emirates, Places in the United Arab Emirates
    Sense id: en-دبئی-ur-name-n5Gw4qEE Categories (other): Dubai, Emirate capitals of the United Arab Emirates
  3. (loosely) the United Arab Emirates Tags: broadly
    Sense id: en-دبئی-ur-name-CNrEVd~V Categories (other): Pages using etymon with no ID, Pages with 2 entries, Pages with entries, Pages with etymon, Urdu entries referencing missing etymons, Urdu entries with etymology texts, Urdu entries with etymon, Urdu entries with incorrect language header Disambiguation of Pages using etymon with no ID: 15 16 15 16 38 Disambiguation of Pages with 2 entries: 15 16 15 16 38 Disambiguation of Pages with entries: 15 15 15 15 39 Disambiguation of Pages with etymon: 15 16 15 16 38 Disambiguation of Urdu entries referencing missing etymons: 22 23 55 Disambiguation of Urdu entries with etymology texts: 23 23 55 Disambiguation of Urdu entries with etymon: 22 23 55 Disambiguation of Urdu entries with incorrect language header: 23 22 54
{
  "etymology_links": [
    [
      "دُبَيّ",
      "دبي#Arabic"
    ]
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "pa",
        "2": "ar",
        "3": "دُبَيّ"
      },
      "expansion": "Borrowed from Arabic دُبَيّ (dubayy)",
      "name": "bor+"
    }
  ],
  "etymology_text": "Borrowed from Arabic دُبَيّ (dubayy).",
  "forms": [
    {
      "form": "دُبَئی",
      "tags": [
        "canonical",
        "feminine"
      ]
    },
    {
      "form": "duba'ī",
      "tags": [
        "romanization"
      ]
    },
    {
      "form": "ਦੁਬਈ",
      "tags": [
        "Gurmukhi"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "f",
        "gur": "ਦੁਬਈ",
        "head": "دُبَئی"
      },
      "expansion": "دُبَئی • (duba'ī) f (Gurmukhi spelling ਦੁਬਈ)",
      "name": "pa-proper noun"
    }
  ],
  "lang": "Punjabi",
  "lang_code": "pa",
  "pos": "name",
  "senses": [
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "pa",
          "name": "Emirates of the United Arab Emirates",
          "orig": "pa:Emirates of the United Arab Emirates",
          "parents": [
            "Emirates",
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "pa",
          "name": "Places in the United Arab Emirates",
          "orig": "pa:Places in the United Arab Emirates",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "_dis": "51 49",
          "kind": "other",
          "name": "Punjabi entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "47 53",
          "kind": "other",
          "langcode": "pa",
          "name": "Countries",
          "orig": "pa:Countries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "Dubai (an emirate of the United Arab Emirates)"
      ],
      "id": "en-دبئی-pa-name-aIcqMsXU",
      "links": [
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "emirate",
          "emirate"
        ],
        [
          "United Arab Emirates",
          "United Arab Emirates#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "pa",
          "name": "Cities in the United Arab Emirates",
          "orig": "pa:Cities in the United Arab Emirates",
          "parents": [
            "Cities",
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "pa",
          "name": "Dubai",
          "orig": "pa:Dubai",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "pa",
          "name": "Emirate capitals of the United Arab Emirates",
          "orig": "pa:Emirate capitals of the United Arab Emirates",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "pa",
          "name": "Places in the United Arab Emirates",
          "orig": "pa:Places in the United Arab Emirates",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "_dis": "51 49",
          "kind": "other",
          "name": "Punjabi entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "47 53",
          "kind": "other",
          "langcode": "pa",
          "name": "Countries",
          "orig": "pa:Countries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "Dubai (the capital city of Dubai emirate, United Arab Emirates)"
      ],
      "id": "en-دبئی-pa-name-n5Gw4qEE",
      "links": [
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "capital city",
          "capital city"
        ],
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "United Arab Emirates",
          "United Arab Emirates#English"
        ]
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/d̪ʊ.bə.iː/",
      "note": "Standard Punjabi"
    },
    {
      "ipa": "[ˈd̪ʊ.bə.iː]",
      "note": "Standard Punjabi"
    }
  ],
  "word": "دبئی"
}

{
  "etymology_links": [
    [
      "دُبَيّ",
      "دبي#Arabic"
    ]
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "ur",
        "2": ":bor",
        "3": "ar:دُبَيّ",
        "text": "+",
        "tree": "1"
      },
      "expansion": "[Appendix:Glossary#loanword|Borrowed]] from\", \"terms\" : [ { \"children\" : [ ], \"lang_name\" : \"Arabic\", \"term\" : \"دُبَيّ\", \"status\" : \"missing\", \"lang\" : \"ar\" } ], \"keyword\" : \"bor\" } ], \"lang_name\" : \"Urdu\", \"term\" : \"دبئی\", \"status\" : \"ok\", \"lang\" : \"ur\" }\" data-lang=\"ur\" data-title=\"دبئی\">\nBorrowed from Arabic دُبَيّ (dubayy).",
      "name": "ety"
    }
  ],
  "etymology_text": "Borrowed from Arabic دُبَيّ (dubayy).",
  "forms": [
    {
      "form": "دُبَئی",
      "tags": [
        "canonical",
        "masculine"
      ]
    },
    {
      "form": "dubaī",
      "tags": [
        "romanization"
      ]
    },
    {
      "form": "दुबई",
      "tags": [
        "Hindi"
      ]
    },
    {
      "form": "دُوبَئی",
      "roman": "dūba'ī",
      "tags": [
        "alternative"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "m",
        "head": "دُبَئی"
      },
      "expansion": "دُبَئی • (dubaī) m (Hindi spelling दुबई)",
      "name": "ur-proper noun"
    }
  ],
  "hyphenations": [
    {
      "parts": [
        "دُ",
        "بئی"
      ]
    }
  ],
  "lang": "Urdu",
  "lang_code": "ur",
  "pos": "name",
  "senses": [
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "ur",
          "name": "Emirates of the United Arab Emirates",
          "orig": "ur:Emirates of the United Arab Emirates",
          "parents": [
            "Emirates",
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "ur",
          "name": "Places in the United Arab Emirates",
          "orig": "ur:Places in the United Arab Emirates",
          "parents": [
            "Places"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "Dubai (an emirate of the United Arab Emirates)"
      ],
      "id": "en-دبئی-ur-name-aIcqMsXU",
      "links": [
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "emirate",
          "emirate"
        ],
        [
          "United Arab Emirates",
          "United Arab Emirates#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "ur",
          "name": "Cities in the United Arab Emirates",
          "orig": "ur:Cities in the United Arab Emirates",
          "parents": [
            "Cities",
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "ur",
          "name": "Dubai",
          "orig": "ur:Dubai",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "ur",
          "name": "Emirate capitals of the United Arab Emirates",
          "orig": "ur:Emirate capitals of the United Arab Emirates",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "ur",
          "name": "Places in the United Arab Emirates",
          "orig": "ur:Places in the United Arab Emirates",
          "parents": [
            "Places"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "Dubai (the capital city of Dubai emirate, United Arab Emirates)"
      ],
      "id": "en-دبئی-ur-name-n5Gw4qEE",
      "links": [
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "capital city",
          "capital city"
        ],
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "United Arab Emirates",
          "United Arab Emirates#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "_dis": "15 16 15 16 38",
          "kind": "other",
          "name": "Pages using etymon with no ID",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 16 15 16 38",
          "kind": "other",
          "name": "Pages with 2 entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 15 15 15 39",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 16 15 16 38",
          "kind": "other",
          "name": "Pages with etymon",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "22 23 55",
          "kind": "other",
          "name": "Urdu entries referencing missing etymons",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "23 23 55",
          "kind": "other",
          "name": "Urdu entries with etymology texts",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "22 23 55",
          "kind": "other",
          "name": "Urdu entries with etymon",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "23 22 54",
          "kind": "other",
          "name": "Urdu entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "the United Arab Emirates"
      ],
      "id": "en-دبئی-ur-name-CNrEVd~V",
      "links": [
        [
          "United Arab Emirates",
          "United Arab Emirates"
        ]
      ],
      "raw_glosses": [
        "(loosely) the United Arab Emirates"
      ],
      "tags": [
        "broadly"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/d̪ʊ.bə.iː/",
      "tags": [
        "Standard",
        "Urdu"
      ]
    },
    {
      "audio": "LL-Q1617 (urd)-نعم البدل-دبئی.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/7/78/LL-Q1617_%28urd%29-%D9%86%D8%B9%D9%85_%D8%A7%D9%84%D8%A8%D8%AF%D9%84-%D8%AF%D8%A8%D8%A6%DB%8C.wav/LL-Q1617_%28urd%29-%D9%86%D8%B9%D9%85_%D8%A7%D9%84%D8%A8%D8%AF%D9%84-%D8%AF%D8%A8%D8%A6%DB%8C.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/7/78/LL-Q1617_%28urd%29-%D9%86%D8%B9%D9%85_%D8%A7%D9%84%D8%A8%D8%AF%D9%84-%D8%AF%D8%A8%D8%A6%DB%8C.wav/LL-Q1617_%28urd%29-%D9%86%D8%B9%D9%85_%D8%A7%D9%84%D8%A8%D8%AF%D9%84-%D8%AF%D8%A8%D8%A6%DB%8C.wav.ogg",
      "tags": [
        "Pakistan"
      ]
    },
    {
      "rhymes": "-ə.iː"
    }
  ],
  "word": "دبئی"
}
{
  "categories": [
    "Pages using etymon with no ID",
    "Pages with 2 entries",
    "Pages with entries",
    "Pages with etymon",
    "Punjabi entries with incorrect language header",
    "Punjabi feminine nouns",
    "Punjabi lemmas",
    "Punjabi proper nouns",
    "Punjabi proper nouns in Shahmukhi script",
    "Punjabi terms borrowed from Arabic",
    "Punjabi terms derived from Arabic",
    "Punjabi terms with IPA pronunciation",
    "pa:Countries"
  ],
  "etymology_links": [
    [
      "دُبَيّ",
      "دبي#Arabic"
    ]
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "pa",
        "2": "ar",
        "3": "دُبَيّ"
      },
      "expansion": "Borrowed from Arabic دُبَيّ (dubayy)",
      "name": "bor+"
    }
  ],
  "etymology_text": "Borrowed from Arabic دُبَيّ (dubayy).",
  "forms": [
    {
      "form": "دُبَئی",
      "tags": [
        "canonical",
        "feminine"
      ]
    },
    {
      "form": "duba'ī",
      "tags": [
        "romanization"
      ]
    },
    {
      "form": "ਦੁਬਈ",
      "tags": [
        "Gurmukhi"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "f",
        "gur": "ਦੁਬਈ",
        "head": "دُبَئی"
      },
      "expansion": "دُبَئی • (duba'ī) f (Gurmukhi spelling ਦੁਬਈ)",
      "name": "pa-proper noun"
    }
  ],
  "lang": "Punjabi",
  "lang_code": "pa",
  "pos": "name",
  "senses": [
    {
      "categories": [
        "pa:Emirates of the United Arab Emirates",
        "pa:Places in the United Arab Emirates"
      ],
      "glosses": [
        "Dubai (an emirate of the United Arab Emirates)"
      ],
      "links": [
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "emirate",
          "emirate"
        ],
        [
          "United Arab Emirates",
          "United Arab Emirates#English"
        ]
      ]
    },
    {
      "categories": [
        "pa:Cities in the United Arab Emirates",
        "pa:Dubai",
        "pa:Emirate capitals of the United Arab Emirates",
        "pa:Places in the United Arab Emirates"
      ],
      "glosses": [
        "Dubai (the capital city of Dubai emirate, United Arab Emirates)"
      ],
      "links": [
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "capital city",
          "capital city"
        ],
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "United Arab Emirates",
          "United Arab Emirates#English"
        ]
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/d̪ʊ.bə.iː/",
      "note": "Standard Punjabi"
    },
    {
      "ipa": "[ˈd̪ʊ.bə.iː]",
      "note": "Standard Punjabi"
    }
  ],
  "word": "دبئی"
}

{
  "categories": [
    "Pages using etymon with no ID",
    "Pages with 2 entries",
    "Pages with entries",
    "Pages with etymon",
    "Rhymes:Urdu/ə.iː",
    "Rhymes:Urdu/ə.iː/2 syllables",
    "Urdu entries referencing missing etymons",
    "Urdu entries with etymology texts",
    "Urdu entries with etymon",
    "Urdu entries with incorrect language header",
    "Urdu lemmas",
    "Urdu masculine nouns",
    "Urdu proper nouns",
    "Urdu terms borrowed from Arabic",
    "Urdu terms derived from Arabic",
    "Urdu terms with IPA pronunciation"
  ],
  "etymology_links": [
    [
      "دُبَيّ",
      "دبي#Arabic"
    ]
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "ur",
        "2": ":bor",
        "3": "ar:دُبَيّ",
        "text": "+",
        "tree": "1"
      },
      "expansion": "[Appendix:Glossary#loanword|Borrowed]] from\", \"terms\" : [ { \"children\" : [ ], \"lang_name\" : \"Arabic\", \"term\" : \"دُبَيّ\", \"status\" : \"missing\", \"lang\" : \"ar\" } ], \"keyword\" : \"bor\" } ], \"lang_name\" : \"Urdu\", \"term\" : \"دبئی\", \"status\" : \"ok\", \"lang\" : \"ur\" }\" data-lang=\"ur\" data-title=\"دبئی\">\nBorrowed from Arabic دُبَيّ (dubayy).",
      "name": "ety"
    }
  ],
  "etymology_text": "Borrowed from Arabic دُبَيّ (dubayy).",
  "forms": [
    {
      "form": "دُبَئی",
      "tags": [
        "canonical",
        "masculine"
      ]
    },
    {
      "form": "dubaī",
      "tags": [
        "romanization"
      ]
    },
    {
      "form": "दुबई",
      "tags": [
        "Hindi"
      ]
    },
    {
      "form": "دُوبَئی",
      "roman": "dūba'ī",
      "tags": [
        "alternative"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "m",
        "head": "دُبَئی"
      },
      "expansion": "دُبَئی • (dubaī) m (Hindi spelling दुबई)",
      "name": "ur-proper noun"
    }
  ],
  "hyphenations": [
    {
      "parts": [
        "دُ",
        "بئی"
      ]
    }
  ],
  "lang": "Urdu",
  "lang_code": "ur",
  "pos": "name",
  "senses": [
    {
      "categories": [
        "ur:Emirates of the United Arab Emirates",
        "ur:Places in the United Arab Emirates"
      ],
      "glosses": [
        "Dubai (an emirate of the United Arab Emirates)"
      ],
      "links": [
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "emirate",
          "emirate"
        ],
        [
          "United Arab Emirates",
          "United Arab Emirates#English"
        ]
      ]
    },
    {
      "categories": [
        "ur:Cities in the United Arab Emirates",
        "ur:Dubai",
        "ur:Emirate capitals of the United Arab Emirates",
        "ur:Places in the United Arab Emirates"
      ],
      "glosses": [
        "Dubai (the capital city of Dubai emirate, United Arab Emirates)"
      ],
      "links": [
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "capital city",
          "capital city"
        ],
        [
          "Dubai",
          "Dubai#English"
        ],
        [
          "United Arab Emirates",
          "United Arab Emirates#English"
        ]
      ]
    },
    {
      "glosses": [
        "the United Arab Emirates"
      ],
      "links": [
        [
          "United Arab Emirates",
          "United Arab Emirates"
        ]
      ],
      "raw_glosses": [
        "(loosely) the United Arab Emirates"
      ],
      "tags": [
        "broadly"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/d̪ʊ.bə.iː/",
      "tags": [
        "Standard",
        "Urdu"
      ]
    },
    {
      "audio": "LL-Q1617 (urd)-نعم البدل-دبئی.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/7/78/LL-Q1617_%28urd%29-%D9%86%D8%B9%D9%85_%D8%A7%D9%84%D8%A8%D8%AF%D9%84-%D8%AF%D8%A8%D8%A6%DB%8C.wav/LL-Q1617_%28urd%29-%D9%86%D8%B9%D9%85_%D8%A7%D9%84%D8%A8%D8%AF%D9%84-%D8%AF%D8%A8%D8%A6%DB%8C.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/7/78/LL-Q1617_%28urd%29-%D9%86%D8%B9%D9%85_%D8%A7%D9%84%D8%A8%D8%AF%D9%84-%D8%AF%D8%A8%D8%A6%DB%8C.wav/LL-Q1617_%28urd%29-%D9%86%D8%B9%D9%85_%D8%A7%D9%84%D8%A8%D8%AF%D9%84-%D8%AF%D8%A8%D8%A6%DB%8C.wav.ogg",
      "tags": [
        "Pakistan"
      ]
    },
    {
      "rhymes": "-ə.iː"
    }
  ],
  "word": "دبئی"
}

Download raw JSONL data for دبئی meaning in All languages combined (5.1kB)


This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2026-10-03 from the enwiktionary dump dated 2026-09-02 using wiktextract (1a05e46 and e3d6d4e). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.